Linear programming - PDFSEARCH.IO - Document Search Engine

Linear programming
Results: 2606

#	Item
971	Microsoft Word - Towards_a_Modelica_Benchmark_Suite_110203-petfr-final.doc Add to Reading List Source URL: modelica.org Language: English - Date: 2011-04-27 10:25:48 Computing Software Modelica Dymola SimulationX Differential algebraic equation Differential equation System of linear equations JModelica.org Object-oriented programming Simulation software Application software
972	Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:44:35 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Linear programming Local consistency Theoretical computer science Applied mathematics Mathematics
973	CS 1173: MATLAB min function The min function returns the minimum value of the elements along an array dimension. B = min(A, [], dim) minimum elements Add to Reading List Source URL: www.cs.utsa.edu Language: English - Date: 2009-09-22 20:25:08 Linear algebra Abstract algebra Dimension Vectors Array data type Array programming MATLAB Euclidean subspace Algebra Mathematics Software
974	A Constant-Factor Approximation for Stochastic Steiner Forest ∗ Anupam Gupta Amit Kumar Add to Reading List Source URL: www.cse.iitd.ernet.in Language: English - Date: 2009-03-25 10:41:58 NP-complete problems Network theory Vertex cover Steiner tree problem Shortest path problem Linear programming SL Edge disjoint shortest pair algorithm Pseudoforest Theoretical computer science Graph theory Mathematics
975	LNCS 5123 - <TEX>{CSIsat}</TEX>: Interpolation for LA+EUF Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Interpolation Satisfiability Modulo Theories Solver Linear programming Theoretical computer science Applied mathematics Mathematics
976	OpenMP for Clusters Lei Huang, Barbara Chapman University of Houston Add to Reading List Source URL: www.compunity.org Language: English - Date: 2007-10-15 03:41:03 Parallel computing Application programming interfaces Compilers Open64 OpenMP Numerical linear algebra Lis Unified Parallel C Fortran Computing Software Computer programming
977	Advanced Algorithms – COMS31900Lecture 14 Linear programming Markus Jalsenius Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:21 Linear programming Operations research Theoretical computer science Numerical software Trade study PROPT Applied mathematics Mathematics Convex optimization
978	Indicative prices (in US$) of Third Party Software(a) for a single PC license(b) (as of AugustETSAP Contracting Parties (1) Model Generators Add to Reading List Source URL: www.iea-etsap.org Language: English - Date: 2013-08-28 07:43:06 Theoretical computer science Mathematics Convex optimization Linear programming Gurobi Operations research Numerical software Applied mathematics
979	Microsoft PowerPoint - Warsawthe model.pptx Add to Reading List Source URL: www.balticnest.org Language: English - Date: 2013-10-14 18:16:47 Optimization problem Linear programming Applied mathematics Operations research Mathematics Geographic information system
980	VISYM: A Platform for Large Scale Computer Vision Jeffrey Byrne, Jack Sim and Jianbo Shi University of Pennsylvania {jebyrne,jiwoong,jshi}@cis.upenn.edu Abstract Add to Reading List Source URL: www.jeffreybyrne.com Language: English - Date: 2013-05-01 13:37:38 Cross-platform software Software architecture Numerical linear algebra Computer file formats MATLAB MEX file Server Java LabelMe Computing Software Array programming languages

UPDATE